Was (wer) ist OBJ3 - definition
OBJ3
Η OBJ3 είναι μια έκδοση της OBJ που βασίζεται στην επαναγραφή διατεταγμένων τύπων (order-sorted rewriting). Η OBJ3 είναι προσανατολισμένη σε agents και εκτελείται στην AKCL.
